nLab Anne Sjerp Troelstra

Selected writings

On intuitionistic mathematics, constructive mathematics and the BHK interpretation:

On intuitionistic logic:

On constructivism:

On linear logic:

On proof theory with emphasis on natural deduction and sequent calculi:

category: people

Last revised on October 1, 2024 at 17:56:09. See the history of this page for a list of all contributions to it.